Internal Repport Number: IRIT/RR--2017--02--FR A Dynamic Type System for OCL
نویسندگان
چکیده
The OCL language is now well-accepted by the modeling community. To be compliant with the regularly updated standard, evaluators must ensure that OCL is a strongly typed language. Indeed, during the analysis of a rule, the evaluator must ensure a correct and a deterministic type of each sub-expression handled. We have chosen to provide a dynamic type system for our OCL evaluator. Moreover, formalizing the OCL type system has the advantage of helping to clarify the standard. This formalization uses the natural deduction logic to represent typing rules and was implemented throughout a type synthesizer in a platform named Neptune.
منابع مشابه
IRIT / RR – 2008 - 2 – FR ‘ Knowable ’ as ‘ known after an announcement ’
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: ♦φ expresses that there is a truthful announcement ψ after which φ is true. Th...
متن کاملA Dynamic Fuzzy Expert System Based on Maintenance Indicators for Service Type Selection of Machinery
Due to the multiplicity of standards and complex rules; maintenance, repair and servicing of machinery could be done only by the fully qualified and proficient experts. Since the knowledge of such experts is not available all times, using expert systems can help to improve the maintenance process. To address this need and the uncertainty of the maintenance process indicators, this research prop...
متن کاملLearning various classes of models of lexicographic orderings
We consider the problem of learning a user’s ordinal preferences on multiattribute domains, assuming that the user’s preferences may be modelled as a kind of lexicographic ordering. We introduce a general graphical representation called LP-structures which captures various natural classes of such ordering in which both the order of importance between attributes and the local preferences over ea...
متن کاملReconstructing a formal security model
Role-based access control (RBAC) is a flexible approach to access control, which has generated great interest in the security community. The principal motivation behind RBAC is to simplify the complexity of administrative tasks. Several formal models of RBAC have been introduced. However, there are a few works specifying RBAC in a way which system developers or software engineers can easily und...
متن کاملKinetic Modelling of Hydraulic Resistance in Colloidal System Ultrafltration: Effect of Physiochemical and Hydrodynamic Parameters
In this work, different kinetic patterns (homographic, exponential-linear and exponential) of hydraulic resistance in ultrafltration process of a colloidal system have been investigated. Exponential kinetic model, as the best approach, was employed for description of dynamic hydraulic resistance of skim milk ultrafltration at different feed flow rates (FR) (10, 30 and 46 L...
متن کامل